Lógica Computacional
Licenciatura em Ciências da Computação - 2º ano
Cancel
Search
:
^m
Education/LC Web
Changed
Changed by
MFES0809
05 Dec 2008 - 23:17 - r3
JoseBacelarAlmeida
Análise, Modelação e Teste de Software MFES Mestrado de Informática 13/11/2008 "Design by Contract and Java Modeling Language": apresentação do conceito e clausulas ...
MaterialApoio
18 Feb 2010 - 13:00 - r15
OlgaPacheco
Slides Lógica Proposicional I Cálculo de Sequentes (versão: 11/06/2008) Lógica Proposicional II Método Tableaux , Formas Clausais, Resolução (versão: 11 ...
Found
2
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM